\subsection{hol-light}
\label{sec:hol-light}
\begin{itemize}
\item \href{http://code.google.com/p/hol-light/}{hol-light} 
\end{itemize}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "../master"
%%% End: 
